//extern char str[];
//#include<stdio.h>
//int main() {
//	printf("%s", str);
//	return 0;
//}